3.3.32 \(\int \log ^2(c (b x^n)^p) \, dx\) [232]

Optimal. Leaf size=39 \[ 2 n^2 p^2 x-2 n p x \log \left (c \left (b x^n\right )^p\right )+x \log ^2\left (c \left (b x^n\right )^p\right ) \]

[Out]

2*n^2*p^2*x-2*n*p*x*ln(c*(b*x^n)^p)+x*ln(c*(b*x^n)^p)^2

________________________________________________________________________________________

Rubi [A]
time = 0.02, antiderivative size = 39, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, integrand size = 12, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.250, Rules used = {2333, 2332, 2495} \begin {gather*} x \log ^2\left (c \left (b x^n\right )^p\right )-2 n p x \log \left (c \left (b x^n\right )^p\right )+2 n^2 p^2 x \end {gather*}

Antiderivative was successfully verified.

[In]

Int[Log[c*(b*x^n)^p]^2,x]

[Out]

2*n^2*p^2*x - 2*n*p*x*Log[c*(b*x^n)^p] + x*Log[c*(b*x^n)^p]^2

Rule 2332

Int[Log[(c_.)*(x_)^(n_.)], x_Symbol] :> Simp[x*Log[c*x^n], x] - Simp[n*x, x] /; FreeQ[{c, n}, x]

Rule 2333

Int[((a_.) + Log[(c_.)*(x_)^(n_.)]*(b_.))^(p_.), x_Symbol] :> Simp[x*(a + b*Log[c*x^n])^p, x] - Dist[b*n*p, In
t[(a + b*Log[c*x^n])^(p - 1), x], x] /; FreeQ[{a, b, c, n}, x] && GtQ[p, 0] && IntegerQ[2*p]

Rule 2495

Int[((a_.) + Log[(c_.)*((d_.)*((e_.) + (f_.)*(x_))^(m_.))^(n_)]*(b_.))^(p_.)*(u_.), x_Symbol] :> Subst[Int[u*(
a + b*Log[c*d^n*(e + f*x)^(m*n)])^p, x], c*d^n*(e + f*x)^(m*n), c*(d*(e + f*x)^m)^n] /; FreeQ[{a, b, c, d, e,
f, m, n, p}, x] &&  !IntegerQ[n] &&  !(EqQ[d, 1] && EqQ[m, 1]) && IntegralFreeQ[IntHide[u*(a + b*Log[c*d^n*(e
+ f*x)^(m*n)])^p, x]]

Rubi steps

\begin {align*} \int \log ^2\left (c \left (b x^n\right )^p\right ) \, dx &=\text {Subst}\left (\int \log ^2\left (b^p c x^{n p}\right ) \, dx,b^p c x^{n p},c \left (b x^n\right )^p\right )\\ &=x \log ^2\left (c \left (b x^n\right )^p\right )-\text {Subst}\left ((2 n p) \int \log \left (b^p c x^{n p}\right ) \, dx,b^p c x^{n p},c \left (b x^n\right )^p\right )\\ &=2 n^2 p^2 x-2 n p x \log \left (c \left (b x^n\right )^p\right )+x \log ^2\left (c \left (b x^n\right )^p\right )\\ \end {align*}

________________________________________________________________________________________

Mathematica [A]
time = 0.00, size = 37, normalized size = 0.95 \begin {gather*} x \log ^2\left (c \left (b x^n\right )^p\right )-2 n p \left (-n p x+x \log \left (c \left (b x^n\right )^p\right )\right ) \end {gather*}

Antiderivative was successfully verified.

[In]

Integrate[Log[c*(b*x^n)^p]^2,x]

[Out]

x*Log[c*(b*x^n)^p]^2 - 2*n*p*(-(n*p*x) + x*Log[c*(b*x^n)^p])

________________________________________________________________________________________

Maple [F]
time = 0.01, size = 0, normalized size = 0.00 \[\int \ln \left (c \left (b \,x^{n}\right )^{p}\right )^{2}\, dx\]

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(ln(c*(b*x^n)^p)^2,x)

[Out]

int(ln(c*(b*x^n)^p)^2,x)

________________________________________________________________________________________

Maxima [A]
time = 0.28, size = 39, normalized size = 1.00 \begin {gather*} 2 \, n^{2} p^{2} x - 2 \, n p x \log \left (\left (b x^{n}\right )^{p} c\right ) + x \log \left (\left (b x^{n}\right )^{p} c\right )^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log(c*(b*x^n)^p)^2,x, algorithm="maxima")

[Out]

2*n^2*p^2*x - 2*n*p*x*log((b*x^n)^p*c) + x*log((b*x^n)^p*c)^2

________________________________________________________________________________________

Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 90 vs. \(2 (39) = 78\).
time = 0.35, size = 90, normalized size = 2.31 \begin {gather*} n^{2} p^{2} x \log \left (x\right )^{2} + 2 \, n^{2} p^{2} x - 2 \, n p^{2} x \log \left (b\right ) + p^{2} x \log \left (b\right )^{2} + x \log \left (c\right )^{2} - 2 \, {\left (n p x - p x \log \left (b\right )\right )} \log \left (c\right ) - 2 \, {\left (n^{2} p^{2} x - n p^{2} x \log \left (b\right ) - n p x \log \left (c\right )\right )} \log \left (x\right ) \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log(c*(b*x^n)^p)^2,x, algorithm="fricas")

[Out]

n^2*p^2*x*log(x)^2 + 2*n^2*p^2*x - 2*n*p^2*x*log(b) + p^2*x*log(b)^2 + x*log(c)^2 - 2*(n*p*x - p*x*log(b))*log
(c) - 2*(n^2*p^2*x - n*p^2*x*log(b) - n*p*x*log(c))*log(x)

________________________________________________________________________________________

Sympy [A]
time = 0.22, size = 39, normalized size = 1.00 \begin {gather*} 2 n^{2} p^{2} x - 2 n p x \log {\left (c \left (b x^{n}\right )^{p} \right )} + x \log {\left (c \left (b x^{n}\right )^{p} \right )}^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(ln(c*(b*x**n)**p)**2,x)

[Out]

2*n**2*p**2*x - 2*n*p*x*log(c*(b*x**n)**p) + x*log(c*(b*x**n)**p)**2

________________________________________________________________________________________

Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 92 vs. \(2 (39) = 78\).
time = 4.76, size = 92, normalized size = 2.36 \begin {gather*} n^{2} p^{2} x \log \left (x\right )^{2} - 2 \, n^{2} p^{2} x \log \left (x\right ) + 2 \, n p^{2} x \log \left (b\right ) \log \left (x\right ) + 2 \, n^{2} p^{2} x - 2 \, n p^{2} x \log \left (b\right ) + p^{2} x \log \left (b\right )^{2} + 2 \, n p x \log \left (c\right ) \log \left (x\right ) - 2 \, n p x \log \left (c\right ) + 2 \, p x \log \left (b\right ) \log \left (c\right ) + x \log \left (c\right )^{2} \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate(log(c*(b*x^n)^p)^2,x, algorithm="giac")

[Out]

n^2*p^2*x*log(x)^2 - 2*n^2*p^2*x*log(x) + 2*n*p^2*x*log(b)*log(x) + 2*n^2*p^2*x - 2*n*p^2*x*log(b) + p^2*x*log
(b)^2 + 2*n*p*x*log(c)*log(x) - 2*n*p*x*log(c) + 2*p*x*log(b)*log(c) + x*log(c)^2

________________________________________________________________________________________

Mupad [B]
time = 3.84, size = 39, normalized size = 1.00 \begin {gather*} 2\,x\,n^2\,p^2-2\,x\,n\,p\,\ln \left (c\,{\left (b\,x^n\right )}^p\right )+x\,{\ln \left (c\,{\left (b\,x^n\right )}^p\right )}^2 \end {gather*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int(log(c*(b*x^n)^p)^2,x)

[Out]

x*log(c*(b*x^n)^p)^2 + 2*n^2*p^2*x - 2*n*p*x*log(c*(b*x^n)^p)

________________________________________________________________________________________